The José Miguel Agrelot Coliseum, officially named 'Coliseo de Puerto Rico José Miguel Agrelot' (and nicknamed El Choliseo, in honor of Agrelot's best known character, Don Cholito), is the biggest indoor arena in Puerto Rico dedicated to entertainment (...) (from Wikipedia)